λ(_ : Bool) → _
